1. A practical logic of cognitive systems
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
71
.
G22P7
2. Agenda relevance :
پدیدآورنده : Dov M. Gabbay and John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Logic.
رده :
BC71
.
G315
2003eb
3. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
4. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay... [et al.], editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Law -- Methodology,حقوق -- روش‌شناسی
رده :
K212
.
A685
2010
6. Approaches to legal rationality /
پدیدآورنده : Dov M. Gabbay... [et al.], editors.
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Law -- Methodology.,حقوق -- روش شناسی
رده :
K212
.
A68
7. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Law -- Methodology
رده :
K
212
.
A66
8. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... [et al.], editors
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Law--Methodology
9. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay ... ]et al.[, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Methodology ، Law,Philosophy ، Law
رده :
K
212
.
A67
2010
10. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Law, Methodology
رده :
K
212
.
A685
2010
11. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. British Logic in the Nineteenth Century
پدیدآورنده : Gabbay, Dov M Compiler 5491 -
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
15
.
G3
H3
2008
13. Computational logic
پدیدآورنده : edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
14. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
15. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
16. Dynamic syntax. : the flow of language understanding
پدیدآورنده : Kempson, Ruth M, Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Grammar, Comparative and general- Syntax,، Linguistic analysis )Linguistics(
رده :
P
291
.
K38
17. Fibring logics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
18. Fibring logics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
19. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
20. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
